event{-}info(${\it ds}$;${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$k$:Knd$\times$State(${\it ds}$)$\times$${\it da}$($k$)?Top